1. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
Author: edited by J. F. Traub
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
Classification :
QA
76
.
6
.
S919
1976
2. An Introduction to computational science and mathematics
Author: / Charles Van Loan
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer science - Mathematics,Electronic digital computers--Programming
Classification :
QA
76
.
9
.
M35V37
3. Categories and computer science
Author: / R.F.C. Walters
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Categories (Mathematics)--Data processing,Electronic digital computers--Programming
4. Category theory and computer science
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C388
1987
5. Category theory and computer science
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
Classification :
76
.
6
.
C38
6. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989
7. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389
8. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C3882
1989
9. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
Author: David Pitt, David E. Rydeheard, Peter Johnstone, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
Classification :
QA
76
.
6
.
B53
1995
10. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
Author: / Eugenio Moggi, Giuseppe Rosolini(eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
,.
6
.
B53
11. Complexity of sequential and parallel numerical algorithms
Author: Symposium on Complexity of Sequential and Parallel Numerical Algorithms (1973 : Carnegie-Mellon University)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming►Mathematics- Data processing►Computer algorithms►Parallel processing (Electronic computers)►Sequential processing (Computer science)
Classification :
76
.
6
.
S918
12. Computational category theory
Author: Rydeheard, David E.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
Classification :
QA
169
.
R93
1988
13. Computational category theory
Author: David E. Rydeheard, Rod M. Burstall
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Categories (Mathematics)- Data processing,Electronic digital computers- Programming
Classification :
QA
،
169
،.
R93
،
1988
14. Computational complexity of sequential and parallel algorithms
Author: Kronsjo, Lydia I
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming►Mathematics- Data processing►Computer algorithms►Parallel processing (Electronic computers)►Sequential processing (Computer science)
Classification :
76
.
6
.
K763
15. Computer programming
Author: / (by) Richard V. Andree, Josephine P. Andree, David D. Andree
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Mathematics -- Data processing
Classification :
QA
76
.
6
.
A53
16. Computer science
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers -- Programming►Mathematics -- Data processing
Classification :
76
.
5
.
C6127
17. Computer science, a mathematical introduction
Author: Lew, Art
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Mathematics,، Electroni digital computers-- Programming
Classification :
QA
76
.
9
.
M35
.
L48
1984
18. Computer science: a mathematical introduction
Author: / Art Lew
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic data processing- Mathematics,Electronic digital computers- programming
Classification :
QA76
.
9
.
L4
1984
19. Computer science, a mathematical introduction
Author: / Art Lew
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics,Electronic digital computers -- Programming
Classification :
QA
76
.
9
.
M35
L48
1984
20. Computer science, a mathematical introduction: apllied mathematics - modeling, analysis, and optimization technique with applications to software systems
Author: Lew, Art
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics ، Electronic data processing,Programming ، Electronic digital computers
Classification :
QA
76
.
9
.
M35
L48
1985
